Enhancements to Invariant Verification using SIVA

The "SIVA" speech database for speaker verification: description and evaluation

The description and characterization of the Italian speech database SIVA is given. After a brief review of the available corpora designed for speaker verification task, we introduce the “Speaker Identification and Verification Archives: SIVA”, a database that consists actually of more than two thousands calls, collected over the public switched telephone network. A detailed description of speec...

Pattern classification driven enhancements for human-in-the-loop decision support systems

Face Detection with methods based on color by using Artificial Neural Network

The face Detection methodsis used in order to provide security. The mentioned methods problems are that it cannot be categorized because of the great differences and varieties in the face of individuals. In this paper, face Detection methods has been presented for overcoming upon these problems based on skin color datum. The researcher gathered a face database of 30 individuals consisting of ov...

Reasoning about Object Structures Using Ownership

Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler requires enhancements of programming theory to cope with this deficiency. In this paper, we support this position by showing that classical specification and verification techniques support invariants for individual objects whos...

Enhancements of rack counting invariants via dynamical cocycles

We introduce the notion of N-reduced dynamical cocycles and use these objects to define enhancements of the rack counting invariant for classical and virtual knots and links. We provide examples to show that the new invariants are not determined by the rack counting invariant, the Jones polynomial or the generalized Alexander polynomial.